* doc/misc/faq.texi: Convert @inforefs to @xrefs.
authorGlenn Morris <rgm@gnu.org>
Sat, 28 Apr 2012 18:43:55 +0000 (11:43 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 28 Apr 2012 18:43:55 +0000 (11:43 -0700)
commit7cfc64f7c2cdc31da91953a94944ebef536c4c99
tree40d0d4397eaacec0d6cd201187ba0232cbd20938
parent06c08035d1bee0b03f30a5bc046a6973e9a2de9e
* doc/misc/faq.texi: Convert @inforefs to @xrefs.
Fix some malformed cross-references.
doc/misc/ChangeLog
doc/misc/faq.texi